Gamifying Program Analysis
نویسندگان
چکیده
Abstract interpretation is a powerful tool in program verification. Several commercial or industrial scale implementations of abstract interpretation have demonstrated that this approach can verify safety properties of real-world code. However, using abstract interpretation tools is not always simple. If no user-provided hints are available, the abstract interpretation engine may lose precision during widening and produce an overwhelming number of false alarms. However, manually providing these hints is time consuming and often frustrating when re-running the analysis takes a lot of time. We present an algorithm for program verification that combines abstract interpretation, symbolic execution and crowdsourcing. If verification fails, our procedure suggests likely invariants, or program patches, that provide helpful information to the verification engineer and makes it easier to find the correct specification. By complementing machine learning with well-designed games, we enable program analysis to incorporate human insights that help improve their scalability and usability.
منابع مشابه
Gamifying the City: Pervasive Game Elements in the Urban Environment
After years using ICT to be connected with others, the world population average weight had tremendously increased. To face the rapid spread of obesity the World Health Organization (WHO) has leveraged the popularity of augmented reality games such as Pokémon go to force people out of their homes pushing them to walk. An application, namely Gamifying the City (GC), has been set up, immediately i...
متن کاملGamifying Fitness or Fitnessifying Games: a Comparative Study
Fitnessor exergames are ubiquitously available, but often lack the main ingredient of successfully gamified systems: fun. This can be attributed to the typical way of designing such games – highly focusing on specific physical activities, thus, gamifying fitness. Instead, we propose a novel alternate approach to improve motivation for exergaming, which we call fitnessification: integrating phys...
متن کاملTowards an Ontology for Gamifying Collaborative Learning Scenarios
Gamification is an interesting and relatively new concept. The concept of Gamification is more than just game playing; it is about introducing game design elements in a proper way to satisfy individual motivational needs according to personality traits. Researcher and Educators are currently looking at Gamification to deal with the problem of learner engagement and motivation in Collaborative L...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015